2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Cut Elimination in Categories (Trends in Logic, 6)
Автор:
Kosta Dosen
Размер книги: 1.43 Mb
Proof-Net Categories
Автор:
Kosta DoSen
, Автор:
Zoran Petric
Размер книги: 612 Kb
Proof-Theoretical Coherence
Автор:
Kosta Dosen
, Автор:
Zoran Petric
Размер книги: 1.44 Mb
Substructural logics
Автор:
Peter Schroeder-Heister
, Автор:
Kosta Dosen
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
Размер книги: 3.12 Mb
